(redisplay_region): Treat selected window's buffer

specially, not current buffer.

diff --git a/src/xdisp.c b/src/xdisp.c
index 7d06ead0a6993e94c9f405db4840b516db75309a..25519fb885e0b45234de293e988a7b1ccb54d888 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -1820,7 +1820,12 @@ redisplay_region (buf, start, end)
       start = end; end = temp;
     }
 
-  if (buf != current_buffer)
+  /* If this is a buffer not in the selected window,
+     we must do other windows.  */
+  if (buf != XBUFFER (XWINDOW (selected_window)->buffer))
+    windows_or_buffers_changed = 1;
+  /* If multiple windows show this buffer, we must do other windows.  */
+  else if (buffer_shared > 1)
     windows_or_buffers_changed = 1;
   else
     {